dfa construct